Scalability using effects
نویسنده
چکیده
This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct. We show, from two fundamental examples, that it is possible to design a deduction system for a specification involving an effect without expliciting this effect.
منابع مشابه
Ownership in Name, But not Necessarily in Action; Comment on “It’s About the Idea Hitting the Bull’s Eye”: How Aid Effectiveness Can Catalyse the Scale-up of Health Innovations”
A recently-published paper by Wickremasinghe et al assesses the scalability of pilot projects in three countries using the aid effectiveness agenda as an analytical framework. The authors report uneven progress and recommend applying aid effectiveness principles to improve the scalability of projects. This commentary focuses on one key principle of aid effectiveness – country ownership; it desc...
متن کاملCluster Based Cross Layer Intelligent Service Discovery for Mobile Ad-Hoc Networks
The ability to discover services in Mobile Ad hoc Network (MANET) is a major prerequisite. Cluster basedcross layer intelligent service discovery for MANET (CBISD) is cluster based architecture, caching ofsemantic details of services and intelligent forwarding using network layer mechanisms. The cluster basedarchitecture using semantic knowledge provides scalability and accuracy. Also, the mini...
متن کاملDevelopment of Telemedicine System during the Outbreak of Epidemic Diseases using Virtual Social Networks
Introduction: The Covid-19 outbreak crisis in 2019 ushered in a new chapter in the development of virtual communication systems. Social networks can be considered one of the most successful tools in the field of information technology which always plays an important role in such situations. Availability, low cost, high reliability, popularity, and scalability are some of the key features of soc...
متن کاملDevelopment of Telemedicine System during the Outbreak of Epidemic Diseases using Virtual Social Networks
Introduction: The Covid-19 outbreak crisis in 2019 ushered in a new chapter in the development of virtual communication systems. Social networks can be considered one of the most successful tools in the field of information technology which always plays an important role in such situations. Availability, low cost, high reliability, popularity, and scalability are some of the key features of soc...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1307.0489 شماره
صفحات -
تاریخ انتشار 2013